$\forall$$D_{1}$, $D_{2}$, $D_{3}$:Dsys. $D_{1}$ $\subseteq$ $D_{2}$ $\Rightarrow$ $D_{2}$ $\subseteq$ $D_{3}$ $\Rightarrow$ $D_{1}$ $\subseteq$ $D_{3}$